Program

Přednášku přislíbili František Gahér, Marta Bílková a Petr Hromek.
Součástí programu budou i prezentace didaktických softwarů: Hyperproof (modely), Panda (sekventovy kalkul), Pandora (přirozená dedukce), Tableaux (sémantická table), Fitch (přirozená dedukce)

Definitivní verze programu bude sestavena do konce prosince z došlých příspěvků.